Load time code validation for mobile phone Java Cards
نویسندگان
چکیده
منابع مشابه
Load time code validation for mobile phone Java Cards
Over-the-air (OTA) application installation and updates have become a common experience for many end-users of mobile phones. In contrast, OTA updates for applications on the secure elements (such as smart cards) are still hindered by the challenging hardware and certification requirements. The paper describes a security framework for Java Card-based secure element applications. Each application...
متن کاملJava mobile code
Supplementary section for Understanding Networked Applications: A First Course, Morgan Kaufmann, 1999. Copyright notice: Permission is granted to copy and distribute this material for educational purposes only, provided that this copyright notice remains attached. An illustrative example of MC middleware is Java from Sun Microsystems [Arn96][Fla96]. Java is several things. First and foremost, i...
متن کاملAndroid-based Java Programming for Mobile Phone LED Control
The smart phone is quite common with closed market in the past. The mobile phone manufacturers started researching for mobile phone system since Google Ltd. started to develop a completely free open mobile phone platform called Android operation system (OS). The world's major manufacturers and scholars began to study the Android OS to the smart phone on the mobile phone market. This has unlimit...
متن کاملA Safe Mobile Code Representation and Run-time Architecture for High-Integrity Real-Time Java Programs
Java is becoming increasingly popular in many application areas due to its rich programming semantics and portability. We believe that high-integrity real-time systems can also greatly benefit by adopting the Java technology, provided the unpredictable overheads and insecurity of the run-time system are conquered. We illustrate in this paper our on-going work on a safe mobile code representatio...
متن کاملSmart Tools for Java Cards
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Java Card Runtime Environment), and the Java Card APIs. The resulting environment consists of a set of tightly integrated and somewhat smart tools, such as a Java specific structure editor and a simulator which allows an a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Information Security and Applications
سال: 2013
ISSN: 2214-2126
DOI: 10.1016/j.jisa.2013.07.004